Simpler Self-reduction Algorithm for Matroid Path-width
نویسنده
چکیده
Path-width of matroids naturally generalizes better known path-width of graphs, and is NP-hard by a reduction from the graph case. While the term matroid path-width was formally introduced by Geelen–Gerards–Whittle [JCTB 2006] in pure matroid theory, it was soon recognized by Kashyap [SIDMA 2008] that it is the same concept as long-studied so called trellis complexity in coding theory, later named trellis-width, and hence it is an interesting notion also from the algorithmic perspective. It follows from a result of Hliněný [JCTB 2006], that the problem to test whether a given matroid over a finite field has path-width at most t is fixed-parameter tractable in t, but this result does not give any clue about a corresponding path-decomposition. The first constructive, though rather complicated, FPT algorithm for path-width of matroids over a finite field has been given just recently by Jeong–Kim–Oum [SODA 2016]. Here we give a much simpler self-reduction constructive FPT algorithm for the same problem. Precisely, we design an efficient routine that constructs an optimal path-decomposition of a matroid (even an abstract one, given by a rank oracle) using a “black-box” subroutine for testing whether the path-width of a matroid is at most t. In connection with the aforementioned decision algorithm for path-width of matroids over a finite field we then get the desired constructive FPT algorithm. 1998 ACM Subject Classification (2012) Theory of computation → Fixed parameter tractability; Mathematics of computing → Matroids, Coding theory
منابع مشابه
The "Art of Trellis Decoding" Is Fixed-Parameter Tractable
Given n subspaces of a finite-dimensional vector space over a fixed finite field F, we wish to find a linear layout V1, V2, . . . , Vn of the subspaces such that dim((V1+V2+· · ·+Vi)∩(Vi+1+· · ·+Vn)) ≤ k for all i; such a linear layout is said to have width at most k. When restricted to 1-dimensional subspaces, this problem is equivalent to computing the path-width of an F-represented matroid i...
متن کاملAscending Auctions and Linear Programming∗
Based on the relationship between dual variables and sealed-bid Vickrey auction payments (established by Bikhchandani and Ostroy), we consider simpler, specific formulations for various environments. For some of those formulations, we interpret primal-dual algorithms as ascending auctions implementing the Vickrey payments. We focus on three classic optimization problems: assignment, matroid, an...
متن کاملConstructive characterizations of 3-connected matroids of path width three
A matroid M is sequential or has path width 3 if M is 3-connected and its ground set has a sequential ordering, that is, an ordering (e1, e2, . . . , en) such that ({e1, e2, . . . , ek}, {ek+1, ek+2, . . . , en}) is a 3-separation for all k in {3, 4, . . . , n − 3}. This paper proves that every sequential matroid is easily constructible from a uniform matroid of rank or corank two by a sequence...
متن کاملPartial tracks, characterizations and recognition of graphs with path-width at most two
Nancy G. Kinnersley and Michael A. Langston has determined [3] the excluded minors for the class of graphs with path-width at most two. Here we give a simpler presentation of their result. This also leads us to a new characterization, and a linear time recognition algorithm for graphs width path-width at most two. 1 History and introduction Based on the seminal work of Seymour and Robertson [4]...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1605.09520 شماره
صفحات -
تاریخ انتشار 2016